ET TEST.TEX↔ αβXparen {↔ αXdefine ∩↔ α(α)αβ↓↔| R MAXTEX↔ \input test.tex↔| ET ?T.TEX↔ αβXparen {↔ αXdefine ∩↔ α(α)αβ↓↔| DOVER ?T.PRE↔| ET SUAI.TEX↔ αβXparen {↔ αXdefine ∩↔ α(α)αβ↓↔| R maxtex↔ \input suai.tex↔| ET ?T↔ αβXparen {↔ αXdefine ∩↔ α(α)αβ↓↔|